$\forall$$L$:MsgA List, $P$:(IdLnk$\times$Id$\times$Type$\rightarrow$Prop), $i$:Id.
\\[0ex]($\forall$$M$$\in$$L$. $\forall$${\it ltg}$$\in$ma{-}outlinks($M$;$i$). $P$(${\it ltg}$)) $\Rightarrow$ ($\forall$${\it ltg}$$\in$ma{-}outlinks($\oplus$($L$);$i$). $P$(${\it ltg}$))